Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
Mining implicit data association from Tripadvisor hotel reviews
2018-01-01 Cozza, V.; Petrocchi, M.; Spognardi, A.
Mining Temporal Networks: Results and Open Problems
2021-01-01 Sciavicco, Guido; Villa, Tiziano; Zavatteri, Matteo
On Compressing Collections of Substring Samples
2022-01-01 Badkobeh, Golnaz; Giuliani, Sara; Liptak, Zsuzsanna; Puglisi:, Simon J.
On SGGS and Horn clauses
2022-01-01 Bonacina, Maria Paola; Winkler, Sarah
On the multi-interval Ulam-Rényi game: For 3 lies 4 intervals suffice
2017-01-01 Cicalese, F.; Rossi, M.
On the semantic equivalence of language syntax formalisms
2019-01-01 Buro, Samuele; Mastroeni, Isabella
Online Monte Carlo Planning for Autonomous Robots: Exploiting Prior Knowledge on Task Similarities
2020-01-01 Castellini, Alberto; Marchesini, Enrico; Farinelli, Alessandro
Online user behavioural modeling with applications to price steering
2016-01-01 Hoang, V. T.; Cozza, V.; Petrocchi, M.; De Nicola, R.
Orienteering-based path selection for mobile sensors
2017-01-01 Bottarelli, Lorenzo; Bicego, Manuele; Blum, Jason; Bombieri, Nicola; Farinelli, Alessandro; Veggian, Luca
Predicting humans: A sensor-based architecture for real time Intent Recognition using Problog
2021-01-01 Acciaro, G. D.; D(')Asaro, F. A.; Rossi, S.
Preface to the 2nd Workshop on Search, Exploration, and Analysis in Heterogeneous Datastores
2021-01-01 Mottin, Davide; Lissandrini, Matteo; (Senjuti Basu), Roy; Velegrakis, Yannis
Probabilistic typed natural deduction for trustworthy computations
2021-01-01 D(')Asaro, F. A.; Primiero, G.
Proceedings of 1st Workshop on Bias, Ethical AI, Explainability and the Role of Logic and Logic Programming (BEWARE 2022)
2022-01-01 Boella, Guido; D'Asaro, Fabio Aurelio; Dyoub, Abeer; Primiero, Giuseppe
Proceedings of the 2nd Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming
2023-01-01 Boella, Guido; D'Asaro, Fabio Aurelio; Dyoub, Abeer; Gorrieri, Laura; Lisi, Francesca A.; Manganini, Chiara; Primiero, Giuseppe
Proceedings of the 5th Workshop on Advances in Argumentation in Artificial Intelligence 2021 co-located with the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, Italy, November 29th, 2021
2021-01-01 D'Agostino, Marcello; D'Asaro, Fabio Aurelio; Larese, Costanza
Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming {(ICLP} 2021), Porto, Portugal (virtual), September 20th-21st, 2021
2021-01-01 Arias, Joaqu('(i))n; D'Asaro, Fabio Aurelio; Dyoub, Abeer; Gupta, Gopal; Hecher, Markus; Leblanc, Emily; Pe(~(n))aloza, Rafael; Salazar, Elmer; Saptawijaya, Ari; Weitkamper, Felix; Zangari, Jessica
A process calculus approach to correctness enforcement of PLCs
2020-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
Proof-checking Bias in Labeling Methods
2022-01-01 Primiero, G.; D'Asaro, F. A.
Ride-Sharing in Medical Transportations: Dealing with Temporal Requirements
2024-01-01 Beltrame, GIOVANNI ALBERTO; Combi, Carlo; Farinelli, Alessandro; Posenato, Roberto; Pozzi, Giuseppe
Rule-based Shield Synthesis for Partially Observable Monte Carlo Planning
2021-01-01 Mazzi, Giulio; Castellini, Alberto; Farinelli, Alessandro
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile